81. VLSI specification, verification, and synthesis
پدیدآورنده : edited by Graham Birtwistle and P.A. Subrahmanyam
موضوع : Integrated circuits - Very large scale integration - Design and construction,Integrated circuits - Verification
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
82. Verification by error modeling
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : aided design. ; Integrated circuits ; Verification. ; Error analysis (Mathematics) ; -Integrated circuits ; Very large scale integration ; Computer
83. Verification methodology manual for SystemVerilog
پدیدآورنده : / by Janick Bergeron ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Verilog (Computer hardware description language),Integrated circuits , Verification
رده :
E-BOOK
84. Verification methodology manual for System Verilog
پدیدآورنده : by Janick Bergeron...[et al.]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Verilog (Computer hardware description language),Integrated circuits -- Verification
رده :
TK
،
7885
.
7
،.
V44
،
2006
85. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده : Yoeli, Michael
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Verification ، Integrated circuits,Verification ، Computer software,، LOTOS )Computer program language(,، Petri nets
رده :
TK
7874
.
58
.
Y64
2008
86. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده : / by Michael Yoeli and Rakefet Kol
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits- Verification,Computer software- Verification,LOTOS (Computer program language),Petri nets
رده :
TK7874
.
58
.
Y64
2008
87. Verification techniques for system-level design
پدیدآورنده : Fujita, Masahiro
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42
.
F95
2008
88. Verification techniques for system-level design
پدیدآورنده : Fujita, Masahiro, 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42F84
89. Writing testbenches using System Verilog
پدیدآورنده : / by Janick Bergeron
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer hardware description languages,Integrated circuits- Verification
رده :
E-BOOK
90. Writing testbenches using System Verilog
پدیدآورنده : / by Janick Bergeron
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer hardware description languages,Integrated circuits- Verification
رده :
TK7885
.
7
.
B48
2006